Prove of problem 6.9